大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Technical Committee on Mathematical Foundations of Computing 17th July 的图书(共4723本)

Advances in Data Mining. Applications and Theoretical Aspects [electronic resource] : 12th Industrial Conference, ICDM 2012, Berlin, Germany, July 13-20, 2012. Proceedings

0
索取号：
作者：Perner、 Petra.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Tools for High Performance Computing 2011 [electronic resource] : Proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing, September 2011, ZIH, Dresden

0
索取号：
作者：Brunst、 Holger.、M眉ller、 Matthias S.、Nagel、 Wolfgang E.、Resch、 Michael M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

User Modeling, Adaptation, and Personalization [electronic resource] : 20th International Conference, UMAP 2012, Montreal, Canada, July 16-20, 2012. Proceedings

0
索取号：
作者：Masthoff、 Judith.、Mobasher、 Bamshad.、Desmarais、 Michel C.、Nkambou、 Roger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Information Security and Privacy [electronic resource] : 17th Australasian Conference, ACISP 2012, Wollongong, NSW, Australia, July 9-11, 2012. Proceedings

0
索取号：
作者：Susilo、 Willy.、Mu、 Yi.、Seberry、 Jennifer.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Aided Verification [electronic resource] : 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings

0
索取号：
作者：Madhusudan、 P.、Seshia、 Sanjit A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Progress in Cryptology - AFRICACRYPT 2012 [electronic resource] : 5th International Conference on Cryptology in Africa, Ifrance, Morocco, July 10-12, 2012. Proceedings

0
索取号：
作者：Mitrokotsa、 Aikaterini.、Vaudenay、 Serge.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Engaging Learners Through Emerging Technologies [electronic resource] : International Conference on ICT in Teaching and Learning, ICT 2012, Hong Kong, China, July 4-6, 2012. Proceedings

0
索取号：
作者：Li、 Kam Cheong.、Wang、 Fu Lee.、Yuen、 Kin Sun.、Cheung、 Simon K. S.、Kwan、 Reggie.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Intelligent Computer Mathematics [electronic resource] : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings

0
索取号：
作者：Jeuring、 Johan.、Campbell、 John A.、Carette、 Jacques.、Reis、 Gabriel.、Sojka、 Petr.、Wenzel、 Makarius.、Sorge、 Volker.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advances in Neural Networks-ISNN 2012 [electronic resource] : 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part II

0
索取号：
作者：Wang、 Jun.、Yen、 Gary G.、Polycarpou、 Marios M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Neural Networks-ISNN 2012 [electronic resource] : 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012. Proceedings, Part I

0
索取号：
作者：Wang、 Jun.、Yen、 Gary G.、Polycarpou、 Marios M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Biomedical Image Registration [electronic resource] : 5th International Workshop, WBIR 2012, Nashville, TN, USA, July 7-8, 2012. Proceedings

0
索取号：
作者：Dawant、 Beno卯t M.、Christensen、 Gary E.、Fitzpatrick、 J. Michael.、Rueckert、 Daniel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Multidisciplinary Information Retrieval [electronic resource] : 5th International Retrieval Facility Conference, IRFC 2012, Vienna, Austria, July 2-3, 2012 Proceedings

0
索取号：
作者：Salampasis、 Michail.、Larsen、 Birger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Breast Imaging [electronic resource] : 11th International Workshop, IWDM 2012, Philadelphia, PA, USA, July 8-11, 2012. Proceedings

0
索取号：
作者：Maidment、 Andrew D. A.、Bakic、 Predrag R.、Gavenonis、 Sara.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Combinatorial Pattern Matching [electronic resource] : 23rd Annual Symposium, CPM 2012, Helsinki, Finland, July 3-5, 2012. Proceedings

0
索取号：
作者：K盲rkk盲inen、 Juha.、Stoye、 Jens.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Logical Aspects of Computational Linguistics [electronic resource] : 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings

0
索取号：
作者：B茅chet、 Denis.、Dikovsky、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Diagrammatic Representation and Inference [electronic resource] : 7th International Conference, Diagrams 2012, Canterbury, UK, July 2-6, 2012. Proceedings

0
索取号：
作者：Cox、 Philip.、Plimmer、 Beryl.、Rodgers、 Peter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.